Software engineering - PDFSEARCH.IO - Document Search Engine

Software engineering
Results: 57508

#	Item
291	Georg Heeg eK Baroper StrDortmund Germany Tel: +Fax: + Add to Reading List Source URL: www.heeg.de Language: English - Date: 2012-11-15 09:58:56 Software engineering Theoretical computer science Computing VisualWorks Cincom Systems Wavefront .obj file ALK OBJ
292	Robust and efficient translations in C++ using tables with zero-based enumerations 10 January 2015, Christophe Riccio G-Truc Creation Add to Reading List Source URL: www.g-truc.net Language: English - Date: 2015-01-10 12:26:20 Software engineering Computing Computer programming Data types C++ Java Enumerated type Type theory Const Enumeration Scope C++ classes
293	ｂｲｵｳｳ･ｬｳＬ＠ＳＰ＠ｏ｣ｴｯ｢･ｲ＠ＲＰＱＵｃｏｓｔ＠ＰＵＵＯＱＵｄｅｃｉｓｉｏｎｓｵ｢ｪ･｣ｴＺ＠ Add to Reading List Source URL: w3.cost.eu Language: English - Date: 2015-11-12 17:02:31 Software engineering Software Type theory Programming language theory Proof assistants Functional languages Formal methods Logic in computer science Formal verification Dependent type Agda Coq
294	Press Release Agile Combined with Modeling Tools Yielding Greater Engineering Schedule Performance, According to VDC Research Agile methods are known to be an effective strategy for accelerating software development, bu Add to Reading List Source URL: www.vdcresearch.com Language: English - Date: 2016-03-03 10:07:17 Software development Project management Software project management Agile software development Software development process
295	Task-parallel versus data-parallel library-based programming in multicore systems Diego Andrade, Basilio B. Fraguela University of A Coru˜na, Spain {dcanosa,basilio}@udc.es Add to Reading List Source URL: www.des.udc.es Language: English - Date: 2009-02-18 05:56:48 Computing Computer programming Parallel computing Software engineering Threading Building Blocks HTML Application Data parallelism Parchive Multi-core processor Task parallelism XC OpenMP
296	1 Abstraction as a Means for End-User Computing in Creative Applications Mira Balaban () Eli Barzilay () Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-03-11 03:26:58 Abstraction Theoretical computer science Lambda calculus Software engineering Cognitive science Models of computation Logic in computer science Data management Combinatory logic Factory Deductive lambda calculus
297	Collective Error Detection for MPI Collective Operations? Chris Falzone University of Pennsylvania at Edinboro Edinboro, PennsylvaniaAnthony Chan, Ewing Lusk, and William Gropp Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:12 Computing Computer programming Parallel computing Software engineering Application programming interfaces Message Passing Interface MPICH Hash function Computer cluster Collective operation Lis
298	Reminder: Lecture slides ● Lecture slides are posted online and are available before class ● Use these during class and outside of class! ● If you can, download the Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-09-17 13:38:41 Computer arithmetic Mathematics Computing Data types Software engineering C++ Primitive data type Integer C++ classes Computer number format Comparison of C Sharp and Java
299	Traceability Can Make Or Break A Company in this Era! Add to Reading List Source URL: www.valleyag.org Language: English - Date: 2015-06-23 13:08:33 Food safety Forest certification Barcodes Radio-frequency identification Software engineering Traceability Produce traceability
300	The Julia Express Bogumił Kaminski ´ January 4, 2015 Contents Add to Reading List Source URL: bogumilkaminski.pl Language: English - Date: 2015-01-04 14:18:51 Software engineering Computing Computer programming Subroutines Data types Anonymous function Functional programming Lambda calculus Exponentiation ATS Array data type Parameter

UPDATE